Space Bounds for Adaptive Renaming

نویسندگان

  • Maryam Helmi
  • Lisa Higham
  • Philipp Woelfel
چکیده

We study the space complexity of implementing long-lived and one-shot adaptive renaming from multi-reader multi-writer registers, in an asynchronous distributed system with n processes. As a result of an f -adaptive renaming algorithm each participating process gets a distinct name in the range {1, . . . , f (k)} provided k processes participate. Let f : {1, . . . ,n}→N be a non-decreasing function satisfying f (1)≤ n−1 and let d = max{x | f (x)≤ n − 1}. We show that any non-deterministic solo-terminating long-lived f -adaptive renaming object requires d + 1 registers. This implies a lower bound of n− c registers for long-lived (k + c)-adaptive renaming, which we observe is tight. We also prove a lower bound of ⌊2(n−c) c+2 ⌋ registers for implementing any non-deterministic soloterminating one-shot (k+ c)-adaptive renaming. We provide two one-shot renaming algorithms: a waitfree algorithm and an obstruction-free algorithm. Each algorithm employs a parameter to depict the tradeoff between space and adaptivity. When these parameters are chosen appropriately, this results in a wait-free one-shot (3k 2 2 )-adaptive renaming algorithm from ⌈ √ n⌉+1 registers, and an obstruction-free one-shot f -adaptive renaming algorithm from only min{n,x | f (x)≥ 2n}+1 registers. [email protected], +1 403 210-9416 [email protected], +1 403 220-7696 [email protected], +1 403 220-7259

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Sub-logarithmic Randomized Loose Renaming

Renaming is a classic distributed coordination task in which a set of processes must pick distinct identifiers from a small namespace. In this paper, we consider the time complexity of this problem when the namespace is linear in the number of participants, a variant known as loose renaming. We give a non-adaptive algorithm withO(log logn) (individual) step complexity, where n is a known upper ...

متن کامل

A Tight Bounds for Asynchronous Renaming1

This paper presents the first tight bounds on the time complexity of shared-memory renaming, a fundamental problem in distributed computing in which a set of processes need to pick distinct identifiers from a small namespace. We first prove an individual lower bound of Ω(k) process steps for deterministic renaming into any namespace of size sub-exponential in k, where k is the number of partici...

متن کامل

From adaptive renaming to set agreement

The adaptive M-renaming problem consists of providing processes with a new name taken from a name space whose size M depends only on the number p of processes that participate in the renaming (and not on the total number n of processes that could ask for a new name). The k-set agreement problem allows each process that proposes a value to decide a proposed value in such a way that at most k dif...

متن کامل

From Renaming to Set Agreement

The M -renaming problem consists in providing the processes with a new name taken from a new name space of size M . A renaming algorithm is adaptive if the size M depends on the number of processes that want to acquire a new name (and not on the total number n of processes). Assuming each process proposes a value, the k-set agreement problem allows each process to decide a proposed value in suc...

متن کامل

An Equivariance Theorem with Applications to Renaming (Preliminary Version)

In the renaming problem, each process in a distributed system is issued a unique name froma large name space, and the processes must coordinate with one another to choose unique namesfrom a much smaller name space.We show that lower bounds on the solvability of renaming in an asynchronous distributedsystem can be formulated as a purely topological question about the existenc...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014